Konev, Michael : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (22)
Les plus populaires
Liste
- Liste
- Tableau

1

Enantiospecific Intramolecular Heck Reactions of Secondary Benzylic Ethers

Harris, Michael R., Konev, Mikhail O., Jarvo, Elizabeth R.

Journal:

Journal of the American Chemical Society

Année:

2014

Langue:

english

Fichier:

PDF, 451 KB

english, 2014

2

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 4160 || Automatic Deductive Synthesis of Lisp Programs in the System ALISA

Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei

Année:

2006

Langue:

english

Fichier:

PDF, 277 KB

english, 2006

3

Deductive temporal reasoning with constraints

Dixon, Clare, Konev, Boris, Fisher, Michael, Nietiadi, Sherly

Journal:

Journal of Applied Logic

Année:

2013

Langue:

english

Fichier:

PDF, 381 KB

english, 2013

4

MAX SAT approximation beyond the limits of polynomial-time approximation

Evgeny Dantsin, Michael Gavrilovich, Edward A. Hirsch, Boris Konev

Journal:

Annals of Pure and Applied Logic

Année:

2001

Langue:

english

Fichier:

PDF, 119 KB

english, 2001

5

Mechanising first-order temporal resolution

Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt

Journal:

Information and Computation

Année:

2005

Langue:

english

Fichier:

PDF, 459 KB

english, 2005

6

Phase Control in Parallel Channels of Shock-Excited Microwave Nanosecond Oscillators

Rostov, Vladislav V., El'chaninov, Anton A., Klimov, Alexei I., Konev, Vladimir Yu., Romanchenko, Ilya V., Sharypov, Konstantin A., Shunailov, Sergei A., Ul'maskulov, Marat R., Yalandin, Michael I.

Journal:

IEEE Transactions on Plasma Science

Année:

2013

Langue:

english

Fichier:

PDF, 1.17 MB

english, 2013

7

[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - Practical First-Order Temporal Reasoning

Dixon, Clare, Fisher, Michael, Konev, Boris, Lisitsa, Alexei

Année:

2008

Langue:

english

Fichier:

PDF, 301 KB

english, 2008

8

[IEEE 2012 19th International Symposium on Temporal Representation and Reasoning (TIME) - Leicester, United Kingdom (2012.09.12-2012.09.14)] 2012 19th International Symposium on Temporal Representation and Reasoning - Symmetric Temporal Theorem Proving

Niknafs-Kermani, Amir, Konev, Boris, Fisher, Michael

Année:

2012

Langue:

english

Fichier:

PDF, 202 KB

english, 2012

9

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 4160 || Knowledge Base Revision in Description Logics

Fisher, Michael, van der Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei

Année:

2006

Langue:

english

Fichier:

PDF, 436 KB

english, 2006

10

Management and prognosis of juvenile arthritis on the model of molecular genetic testing of gene p53

Kozhevnikov, Aleksey, Pozdeeva, Nina, Konev, Michael, Larionova, Valentina, Novik, Gennady

Journal:

Pediatric Rheumatology

Année:

2014

Langue:

english

Fichier:

PDF, 269 KB

english, 2014

11

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 4160 || April – An Inductive Logic Programming System

Fisher, Michael, van der Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei

Année:

2006

Langue:

english

Fichier:

PDF, 282 KB

english, 2006

12

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 4160 ||

Fisher, Michael, van der Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei

Année:

2006

Langue:

english

Fichier:

PDF, 5.11 MB

english, 2006

13

Role of invasive and non-invasive additional imaging methods in pediatric rheumatology

Kozhevnikov, Aleksey, Pozdeeva, Nina, Konev, Michael, Moskalenko, Aleksey, Bergaliev, Arthur, Afonichev, Konsantin

Journal:

Pediatric Rheumatology

Année:

2014

Langue:

english

Fichier:

PDF, 264 KB

english, 2014

14

SPIE Proceedings [SPIE Gas Flow and Chemical Lasers: Tenth International Symposium - Friedrichshafen, Federal Republic of Germany (Monday 5 September 1994)] Gas Flow and Chemical Lasers: Tenth International Symposium - Cu vapor laser UV frequency conversion in DKDP

Karpukhin, Vyatcheslav T., Konev, Yuri B., Malikov, Michael M., Bohn, Willy L., Huegel, Helmut

Année:

1995

Langue:

english

Fichier:

PDF, 627 KB

english, 1995

15

Microecological Impacts of Global Warming on Crustaceans—Temperature Induced Shifts in the Release of Larvae from American Lobster, Homarus americanus, Females

Tlusty, Michael, Metzler, Anita, Malkin, Elon, Goldstein, Jason, Koneval, Maureen

Journal:

Journal of Shellfish Research

Année:

2008

Langue:

english

Fichier:

PDF, 164 KB

english, 2008

16

Monodic temporal resolution

Degtyarev, Anatoli, Fisher, Michael, Konev, Boris

Journal:

ACM Transactions on Computational Logic

Année:

2006

Langue:

english

Fichier:

PDF, 400 KB

english, 2006

17

SPIE Proceedings [SPIE 6th International Conference on Industrial Lasers and Laser Applications '98 - Shatura, Moscow Region, Russia (Saturday 27 June 1998)] 6th International Conference on Industrial Lasers and Laser Applications '98 - Three-year experience of an industrial facility using gas dynamic CO2 laser at Cherepovetz Metallurgy Works SeverStahl

Karpukhin, Vyatcheslav T., Lipukhin, Yurii V., Danilov, Leonid I., Kozlov, B. M., Konev, Yuri B., Malikov, Michael M., Panchenko, Vladislav Y., Golubev, Vladimir S.

Année:

1999

Langue:

english

Fichier:

PDF, 665 KB

english, 1999

18

SPIE Proceedings [SPIE Europto High Power Lasers and Laser Applications V - Vienna, Austria (Sunday 3 April 1994)] High-Power Gas and Solid State Lasers - Studies of Cu vapor laser UV sum frequency generation in DKDP

Karpukhin, Vyatcheslav T., Konev, Yuri B., Malikov, Michael M., Bohrer, Markus, Letardi, Tommaso, Schuoecker, Dieter, Weber, Horst

Année:

1994

Langue:

english

Fichier:

PDF, 682 KB

english, 1994

19

SPIE Proceedings [SPIE High-Power Laser Ablation - Santa Fe, NM (Sunday 26 April 1998)] High-Power Laser Ablation - High-power CO2 gas-dynamic lasers for applications in technology

Konev, Yuri B., Lipukhin, Yurii V., Danilov, Leonid I., Karpukhin, Vyatcheslav T., Malikov, Michael M., Sidorenko, Anatoly, Phipps, Claude R.

Année:

1998

Langue:

english

Fichier:

PDF, 5.62 MB

english, 1998

20

ChemInform Abstract: Enantiospecific Intramolecular Heck Reactions of Secondary Benzylic Ethers.

Harris, Michael R., Konev, Mikhail O., Jarvo, Elizabeth R.

Journal:

Année:

2015

Langue:

english

Fichier:

PDF, 34 KB

english, 2015

21

SPIE Proceedings [SPIE Seventh International Conference on Laser and Laser Information Technologies - Vladimir, Suzdal, Russia (Friday 22 June 2001)] Seventh International Conference on Laser and Laser-Information Technologies - High-power-range mobile railway CO2 GDL facility for civil engineering

Konev, Yuri B., Karpukhin, Vyatcheslav T., Kozlov, B. M., Malikov, Michael M., Sidorenko, Anatoly, Panchenko, Vladislav Y., Golubev, Vladimir S.

Année:

2002

Langue:

english

Fichier:

PDF, 236 KB

english, 2002

22

Abnormal activity of transcription factors gli in high-grade gliomas

Volnitskiy, Andrey, Shtam, Tatiana, Burdakov, Vladimir, Kovalev, Roman, Konev, Alexander, Filatov, Michael, Wu, Qiang

Journal:

Année:

2019

Fichier:

PDF, 1.53 MB

2019